词典首页
繁體版
English
手机版
查电话
全文翻译
发音读音
诗词
造句范文
移动客户端
注册
登录
中英
1
中法
中日
中韩
中俄
汉语
造句
例 句
翻 译
当前位置:
在线翻译
>
英语翻译
> theorem proving by resolution refutation
ON
OFF
划词翻译
导航
分享
建议反馈
词典App
theorem proving by resolution refutation
中文是什么意思
发音
:
中文翻译
按分解律反演的定理証明
non-resolution theorem proving
非解析定理求解
resolution theorem proving
归结定理证明消解式定理证明
resolution theorem-proving
解析定理证明
resolution refutation
归结反演, 分解反驳
theorem proving
定理证明
resolution refutation strategy
归结反演策略
resolution refutation system
归结反演系统
resolution-refutation graph
分解反驳图
resolution theorem
分解定理; 归结定理
automated theorem proving
自定理明; 自动定理证明
automatic theorem proving
自动定理证明
mechanical theorem proving
机器证明
proving fermat’s last theorem
证明费马最后定理
theorem proving machine
定理证明机
theorem proving representation
定理证明表示
theorem proving technique
定理证明技术
refutation
n. 驳斥,驳倒。
be proving
看来是……
proving
检验的; 药力试验
concession and refutation
让步与反驳
inductive refutation
归纳反驳
not merit refutation
不值驳
p1 refutation
反演
refutation - verification
反驳
refutation graph
反驳图; 反演图
"查查词典"手机版
千万人都在用的超大词汇词典翻译APP
推荐英语阅读
theorem proving by resolution refutation的中文翻译,theorem proving by resolution refutation是什么意思,怎么用汉语翻译theorem proving by resolution refutation,theorem proving by resolution refutation的中文意思,
theorem proving by resolution refutation的中文
,
theorem proving by resolution refutation in Chinese
,
theorem proving by resolution refutation的中文
,
theorem proving by resolution refutation怎么读
,发音,例句,用法和解释由查查在线词典提供,版权所有违者必究。
Last modified time:Wed, 13 Aug 2025 00:29:56 GMT
相关
英文阅读
1
英语翻译方法和技巧归纳
2
(双语)用微笑来面对烦恼!
3
掌握英语学习窍门的30个好习惯
4
英语中也有累成狗?跟狗有关的口语表达
5
(双语版)95后平均7个月离职!
6
春节中英文祝福语
7
(双语)我们的家长, 你为什么那么焦虑?
8
(双语版)男子高铁涉嫌猥亵女儿,警方却终止调查!
全文
翻译
英→汉
汉→英
相邻
词汇
"theorem on flows in network"什么意思
"theorem on multiplication of probabilities"什么意思
"theorem on regular set"什么意思
"theorem on the composition of velocities"什么意思
"theorem proving by resolution"什么意思
"theorem proving by rule based system"什么意思
"theorem proving for robot problem solving"什么意思
"theorem proving system"什么意思
"theorem proving use of resolution"什么意思
说出您的建议或使用心得
提 交